1. Decision problems for equational theories of relation algebras
پدیدآورنده : Andreka, Hajnal
کتابخانه: (طهران)
موضوع : ، Relation algebras,، Decidability )Mathematical logic(
رده :
QA
3
.
A475
no
.
604